Topic 08 (1) Putnam. 1981. BiV(1)